Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
731	Abstract λ-Calculus Machines Werner E. Kluge Department of Computer Science University of Kiel D–24105 Kiel, Germany [removed] Add to Reading List Source URL: www.informatik.uni-kiel.de Language: English - Date: 2008-08-06 05:03:43 Models of computation Lambda calculus Computability theory SECD machine Fixed-point combinator Free variables and bound variables Parameter Algorithm Function Mathematics Theoretical computer science Applied mathematics
732	Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Computer science Software engineering Computing Büchi automaton Automata theory Models of computation Finite-state machine
733	Statecharts: Some Critical Observations Michael Breen last updated[removed]Abstract Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Digital electronics Theoretical computer science Diagrams Mathematics State diagram Finite-state machine Computer science Stopwatch Orthogonality Models of computation UML diagrams Automata theory
734	On Abstraction in Finite State Machine Models Michael Breen 12 September[removed]Draft) Abstract Information hiding is a long established principle in software engineering. However, in the context of finite state machines Add to Reading List Source URL: mbreen.com Language: English - Date: 2012-02-22 06:55:47 Science Infographics Information science Software engineering Automata theory Finite-state machine Structured analysis State diagram Data flow diagram Models of computation Diagrams Data management
735	Every Vote Counts: Ensuring Integrity in Large-Scale DRE-based Electronic Voting Feng Hao School of Computing Science Newcastle University, UK [removed] Abstract—This paper presents a new and complete cryptogr Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2011-02-09 18:31:48 Electoral systems Electronic voting Information society Voting machine Ballot Help America Vote Act Voting system Election recount Software independence Politics Elections Election technology
736	Self-Enforcing Electronic Voting Feng Hao, Brian Randell, Dylan Clarke School of Computing Science Newcastle University, UK Abstract. Veriable electronic voting has been extensively researched Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2012-09-17 05:27:04 Elections Electoral systems Election technology Electronic voting Information society Voting machine Voting system Vote counting system Ballot Politics Voting Sociology
737	A Robust PTAS for Machine Covering and Packing! Martin Skutella and Jos´e Verschae Institute of Mathematics, TU Berlin, Germany {skutella,verschae}@math.tu-berlin.de Abstract. Minimizing the makespan or maximizing the m Add to Reading List Source URL: page.math.tu-berlin.de Language: English Operations research Approximation algorithms Complexity classes Polynomial-time approximation scheme Job shop scheduling Bin packing problem Time complexity Linear programming David Shmoys Theoretical computer science Computational complexity theory Applied mathematics
738	Learning Attitudes and Attributes from Multi-Aspect Reviews Julian McAuley, Jure Leskovec, Dan Jurafsky Stanford University Abstract—Most online reviews consist of plain-text feedback together with a single numeric sco Add to Reading List Source URL: cs.stanford.edu Language: English - Date: 2012-11-09 01:36:44 Natural language processing Learning Beer culture Beer rating Sentiment analysis Grammatical aspect Semi-supervised learning Supervised learning Support vector machine Machine learning Artificial intelligence Statistics
739	Lecture notes on automata, languages, and grammars Cristopher Moore January 11, 2013 Abstract These lecture notes are intended as a supplement to Moore and Mertens’ The Nature of Computation, and are available to anyon Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-01-11 13:28:25 Applied mathematics Nondeterministic finite automaton Myhill–Nerode theorem DFA minimization Regular language Deterministic finite automaton Regular expression Finite-state machine Powerset construction Automata theory Theoretical computer science Computer science
740	The Right Chemistry for Synchrony and Asynchrony or, when is a chemical abstract machine implementable? Sanjiva Prasad IIT Delhi Add to Reading List Source URL: 128.178.131.18 Language: English - Date: 2003-07-21 11:36:21 Indian Institute of Technology Delhi Synchronization Education in India Education Academia Indian Institutes of Technology Chemistry École Polytechnique Fédérale de Lausanne